Search results for "Peano axioms"
showing 5 items of 5 documents
The Foundations of Projective Geometry in Italy from De Paolis to Pieri
2002
In this paper we examine the contributions of the Italian geometrical school to the Foundations of Projective Geometry. Starting from De Paolis' work we discuss some papers by Segre, Peano, Veronese, Fano and Pieri. In particular we try to show how a totally abstract and general point of view was clearly adopted by the Italian scholars many years before the publication of Hilbert's Grundlagen. We are particularly interested in the interrelations between the Italian and the German schools (mainly the influence of Staudt's and Klein's works). We try also to understand the reason of the steady decline of the Italian school during the twentieth century.
Two Paths to Logical Consequence: Pieri and the Peano School
2021
This chapter1 has two main goals. First, it will explore the “negative” avenue leading from the concepts of independence and consistency to that of logical consequence.
The forgotten mathematical legacy of Peano
2019
International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.
Frege, Peano and Russell on Descriptions: a Comparison
2000
On continua whose hyperspace of subcontinua is σ-locally connected
1999
Abstract We provide a structural characterization of all continua X whose hyperspace C ( X ) of all subcontinua is the countable union of Peano continua. Applying this result we prove that there exists a uniformly path connected continuum X with no continuous mapping from C ( X ) onto X.